並行プロセス記述言語 occam(4) - 共立出版コンピュータサイエンス誌『bit』